- 结构程序验证
- constructive: adj. 1.构成的，建设(性)的；积极的。 2.【法律 ...
- verification: n. 1.证实，证明，确定；核验，验证，核对；检验，校验 ...
- program verification: 程序检验; 程序验证
- automatic program verification: 自动程序验证
- automatic program verification system: 自动程序验证系统
下载手机词典可随时随地查词查翻译
constructive program verification中文什么意思
发音:
- 结构程序验证
下载手机词典可随时随地查词查翻译